function foo()
{
    return 777;
}

v0 = 0;
v1 = 1;
v2 = 2;
v3 = 3;
v4 = 4;
v5 = 5;
v6 = 6;
v7 = 7;
v8 = 8;
v9 = 9;
v10 = 10;
v11 = 11;
v12 = 12;
v13 = 13;
v14 = 14;
v15 = 15;
v16 = 16;
v17 = 17;
v18 = 18;
v19 = 19;
v20 = 20;
v21 = 21;
v22 = 22;
v23 = 23;
v24 = 24;
v25 = 25;
v26 = 26;
v27 = 27;
v28 = 28;
v29 = 29;
v30 = 30;
v31 = 31;
v32 = 32;
v33 = 33;
v34 = 34;
v35 = 35;
v36 = 36;
v37 = 37;
v38 = 38;
v39 = 39;
v40 = 40;
v41 = 41;
v42 = 42;
v43 = 43;
v44 = 44;
v45 = 45;
v46 = 46;
v47 = 47;
v48 = 48;
v49 = 49;
v50 = 50;
v51 = 51;
v52 = 52;
v53 = 53;
v54 = 54;
v55 = 55;
v56 = 56;
v57 = 57;
v58 = 58;
v59 = 59;
v60 = 60;
v61 = 61;
v62 = 62;
v63 = 63;
v64 = 64;
v65 = 65;
v66 = 66;
v67 = 67;
v68 = 68;
v69 = 69;
v70 = 70;
v71 = 71;
v72 = 72;
v73 = 73;
v74 = 74;
v75 = 75;
v76 = 76;
v77 = 77;
v78 = 78;
v79 = 79;
v80 = 80;
v81 = 81;
v82 = 82;
v83 = 83;
v84 = 84;
v85 = 85;
v86 = 86;
v87 = 87;
v88 = 88;
v89 = 89;
v90 = 90;
v91 = 91;
v92 = 92;
v93 = 93;
v94 = 94;
v95 = 95;
v96 = 96;
v97 = 97;
v98 = 98;
v99 = 99;
v100 = 100;
v101 = 101;
v102 = 102;
v103 = 103;
v104 = 104;
v105 = 105;
v106 = 106;
v107 = 107;
v108 = 108;
v109 = 109;
v110 = 110;
v111 = 111;
v112 = 112;
v113 = 113;
v114 = 114;
v115 = 115;
v116 = 116;
v117 = 117;
v118 = 118;
v119 = 119;
v120 = 120;
v121 = 121;
v122 = 122;
v123 = 123;
v124 = 124;
v125 = 125;
v126 = 126;
v127 = 127;
v128 = 128;
v129 = 129;
v130 = 130;
v131 = 131;
v132 = 132;
v133 = 133;
v134 = 134;
v135 = 135;
v136 = 136;
v137 = 137;
v138 = 138;
v139 = 139;
v140 = 140;
v141 = 141;
v142 = 142;
v143 = 143;
v144 = 144;
v145 = 145;
v146 = 146;
v147 = 147;
v148 = 148;
v149 = 149;
v150 = 150;
v151 = 151;
v152 = 152;
v153 = 153;
v154 = 154;
v155 = 155;
v156 = 156;
v157 = 157;
v158 = 158;
v159 = 159;
v160 = 160;
v161 = 161;
v162 = 162;
v163 = 163;
v164 = 164;
v165 = 165;
v166 = 166;
v167 = 167;
v168 = 168;
v169 = 169;
v170 = 170;
v171 = 171;
v172 = 172;
v173 = 173;
v174 = 174;
v175 = 175;
v176 = 176;
v177 = 177;
v178 = 178;
v179 = 179;
v180 = 180;
v181 = 181;
v182 = 182;
v183 = 183;
v184 = 184;
v185 = 185;
v186 = 186;
v187 = 187;
v188 = 188;
v189 = 189;
v190 = 190;
v191 = 191;
v192 = 192;
v193 = 193;
v194 = 194;
v195 = 195;
v196 = 196;
v197 = 197;
v198 = 198;
v199 = 199;
v200 = 200;
v201 = 201;
v202 = 202;
v203 = 203;
v204 = 204;
v205 = 205;
v206 = 206;
v207 = 207;
v208 = 208;
v209 = 209;
v210 = 210;
v211 = 211;
v212 = 212;
v213 = 213;
v214 = 214;
v215 = 215;
v216 = 216;
v217 = 217;
v218 = 218;
v219 = 219;
v220 = 220;
v221 = 221;
v222 = 222;
v223 = 223;
v224 = 224;
v225 = 225;
v226 = 226;
v227 = 227;
v228 = 228;
v229 = 229;
v230 = 230;
v231 = 231;
v232 = 232;
v233 = 233;
v234 = 234;
v235 = 235;
v236 = 236;
v237 = 237;
v238 = 238;
v239 = 239;
v240 = 240;
v241 = 241;
v242 = 242;
v243 = 243;
v244 = 244;
v245 = 245;
v246 = 246;
v247 = 247;
v248 = 248;
v249 = 249;
v250 = 250;
v251 = 251;
v252 = 252;
v253 = 253;
v254 = 254;
v255 = 255;
v256 = 256;
v257 = 257;
v258 = 258;
v259 = 259;
v260 = 260;
v261 = 261;
v262 = 262;
v263 = 263;
v264 = 264;
v265 = 265;
v266 = 266;
v267 = 267;
v268 = 268;
v269 = 269;
v270 = 270;
v271 = 271;
v272 = 272;
v273 = 273;
v274 = 274;
v275 = 275;
v276 = 276;
v277 = 277;
v278 = 278;
v279 = 279;
v280 = 280;
v281 = 281;
v282 = 282;
v283 = 283;
v284 = 284;
v285 = 285;
v286 = 286;
v287 = 287;
v288 = 288;
v289 = 289;
v290 = 290;
v291 = 291;
v292 = 292;
v293 = 293;
v294 = 294;
v295 = 295;
v296 = 296;
v297 = 297;
v298 = 298;
v299 = 299;
v300 = 300;
v301 = 301;
v302 = 302;
v303 = 303;
v304 = 304;
v305 = 305;
v306 = 306;
v307 = 307;
v308 = 308;
v309 = 309;
v310 = 310;
v311 = 311;
v312 = 312;
v313 = 313;
v314 = 314;
v315 = 315;
v316 = 316;
v317 = 317;
v318 = 318;
v319 = 319;
v320 = 320;
v321 = 321;
v322 = 322;
v323 = 323;
v324 = 324;
v325 = 325;
v326 = 326;
v327 = 327;
v328 = 328;
v329 = 329;
v330 = 330;
v331 = 331;
v332 = 332;
v333 = 333;
v334 = 334;
v335 = 335;
v336 = 336;
v337 = 337;
v338 = 338;
v339 = 339;
v340 = 340;
v341 = 341;
v342 = 342;
v343 = 343;
v344 = 344;
v345 = 345;
v346 = 346;
v347 = 347;
v348 = 348;
v349 = 349;
v350 = 350;
v351 = 351;
v352 = 352;
v353 = 353;
v354 = 354;
v355 = 355;
v356 = 356;
v357 = 357;
v358 = 358;
v359 = 359;
v360 = 360;
v361 = 361;
v362 = 362;
v363 = 363;
v364 = 364;
v365 = 365;
v366 = 366;
v367 = 367;
v368 = 368;
v369 = 369;
v370 = 370;
v371 = 371;
v372 = 372;
v373 = 373;
v374 = 374;
v375 = 375;
v376 = 376;
v377 = 377;
v378 = 378;
v379 = 379;
v380 = 380;
v381 = 381;
v382 = 382;
v383 = 383;
v384 = 384;
v385 = 385;
v386 = 386;
v387 = 387;
v388 = 388;
v389 = 389;
v390 = 390;
v391 = 391;
v392 = 392;
v393 = 393;
v394 = 394;
v395 = 395;
v396 = 396;
v397 = 397;
v398 = 398;
v399 = 399;
v400 = 400;
v401 = 401;
v402 = 402;
v403 = 403;
v404 = 404;
v405 = 405;
v406 = 406;
v407 = 407;
v408 = 408;
v409 = 409;
v410 = 410;
v411 = 411;
v412 = 412;
v413 = 413;
v414 = 414;
v415 = 415;
v416 = 416;
v417 = 417;
v418 = 418;
v419 = 419;
v420 = 420;
v421 = 421;
v422 = 422;
v423 = 423;
v424 = 424;
v425 = 425;
v426 = 426;
v427 = 427;
v428 = 428;
v429 = 429;
v430 = 430;
v431 = 431;
v432 = 432;
v433 = 433;
v434 = 434;
v435 = 435;
v436 = 436;
v437 = 437;
v438 = 438;
v439 = 439;
v440 = 440;
v441 = 441;
v442 = 442;
v443 = 443;
v444 = 444;
v445 = 445;
v446 = 446;
v447 = 447;
v448 = 448;
v449 = 449;
v450 = 450;
v451 = 451;
v452 = 452;
v453 = 453;
v454 = 454;
v455 = 455;
v456 = 456;
v457 = 457;
v458 = 458;
v459 = 459;
v460 = 460;
v461 = 461;
v462 = 462;
v463 = 463;
v464 = 464;
v465 = 465;
v466 = 466;
v467 = 467;
v468 = 468;
v469 = 469;
v470 = 470;
v471 = 471;
v472 = 472;
v473 = 473;
v474 = 474;
v475 = 475;
v476 = 476;
v477 = 477;
v478 = 478;
v479 = 479;
v480 = 480;
v481 = 481;
v482 = 482;
v483 = 483;
v484 = 484;
v485 = 485;
v486 = 486;
v487 = 487;
v488 = 488;
v489 = 489;
v490 = 490;
v491 = 491;
v492 = 492;
v493 = 493;
v494 = 494;
v495 = 495;
v496 = 496;
v497 = 497;
v498 = 498;
v499 = 499;
v500 = 500;
v501 = 501;
v502 = 502;
v503 = 503;
v504 = 504;
v505 = 505;
v506 = 506;
v507 = 507;
v508 = 508;
v509 = 509;
v510 = 510;
v511 = 511;
v512 = 512;
v513 = 513;
v514 = 514;
v515 = 515;
v516 = 516;
v517 = 517;
v518 = 518;
v519 = 519;
v520 = 520;
v521 = 521;
v522 = 522;
v523 = 523;
v524 = 524;
v525 = 525;
v526 = 526;
v527 = 527;
v528 = 528;
v529 = 529;
v530 = 530;
v531 = 531;
v532 = 532;
v533 = 533;
v534 = 534;
v535 = 535;
v536 = 536;
v537 = 537;
v538 = 538;
v539 = 539;
v540 = 540;
v541 = 541;
v542 = 542;
v543 = 543;
v544 = 544;
v545 = 545;
v546 = 546;
v547 = 547;
v548 = 548;
v549 = 549;
v550 = 550;
v551 = 551;
v552 = 552;
v553 = 553;
v554 = 554;
v555 = 555;
v556 = 556;
v557 = 557;
v558 = 558;
v559 = 559;
v560 = 560;
v561 = 561;
v562 = 562;
v563 = 563;
v564 = 564;
v565 = 565;
v566 = 566;
v567 = 567;
v568 = 568;
v569 = 569;
v570 = 570;
v571 = 571;
v572 = 572;
v573 = 573;
v574 = 574;
v575 = 575;
v576 = 576;
v577 = 577;
v578 = 578;
v579 = 579;
v580 = 580;
v581 = 581;
v582 = 582;
v583 = 583;
v584 = 584;
v585 = 585;
v586 = 586;
v587 = 587;
v588 = 588;
v589 = 589;
v590 = 590;
v591 = 591;
v592 = 592;
v593 = 593;
v594 = 594;
v595 = 595;
v596 = 596;
v597 = 597;
v598 = 598;
v599 = 599;
v600 = 600;
v601 = 601;
v602 = 602;
v603 = 603;
v604 = 604;
v605 = 605;
v606 = 606;
v607 = 607;
v608 = 608;
v609 = 609;
v610 = 610;
v611 = 611;
v612 = 612;
v613 = 613;
v614 = 614;
v615 = 615;
v616 = 616;
v617 = 617;
v618 = 618;
v619 = 619;
v620 = 620;
v621 = 621;
v622 = 622;
v623 = 623;
v624 = 624;
v625 = 625;
v626 = 626;
v627 = 627;
v628 = 628;
v629 = 629;
v630 = 630;
v631 = 631;
v632 = 632;
v633 = 633;
v634 = 634;
v635 = 635;
v636 = 636;
v637 = 637;
v638 = 638;
v639 = 639;
v640 = 640;
v641 = 641;
v642 = 642;
v643 = 643;
v644 = 644;
v645 = 645;
v646 = 646;
v647 = 647;
v648 = 648;
v649 = 649;
v650 = 650;
v651 = 651;
v652 = 652;
v653 = 653;
v654 = 654;
v655 = 655;
v656 = 656;
v657 = 657;
v658 = 658;
v659 = 659;
v660 = 660;
v661 = 661;
v662 = 662;
v663 = 663;
v664 = 664;
v665 = 665;
v666 = 666;
v667 = 667;
v668 = 668;
v669 = 669;
v670 = 670;
v671 = 671;
v672 = 672;
v673 = 673;
v674 = 674;
v675 = 675;
v676 = 676;
v677 = 677;
v678 = 678;
v679 = 679;
v680 = 680;
v681 = 681;
v682 = 682;
v683 = 683;
v684 = 684;
v685 = 685;
v686 = 686;
v687 = 687;
v688 = 688;
v689 = 689;
v690 = 690;
v691 = 691;
v692 = 692;
v693 = 693;
v694 = 694;
v695 = 695;
v696 = 696;
v697 = 697;
v698 = 698;
v699 = 699;
v700 = 700;
v701 = 701;
v702 = 702;
v703 = 703;
v704 = 704;
v705 = 705;
v706 = 706;
v707 = 707;
v708 = 708;
v709 = 709;
v710 = 710;
v711 = 711;
v712 = 712;
v713 = 713;
v714 = 714;
v715 = 715;
v716 = 716;
v717 = 717;
v718 = 718;
v719 = 719;
v720 = 720;
v721 = 721;
v722 = 722;
v723 = 723;
v724 = 724;
v725 = 725;
v726 = 726;
v727 = 727;
v728 = 728;
v729 = 729;
v730 = 730;
v731 = 731;
v732 = 732;
v733 = 733;
v734 = 734;
v735 = 735;
v736 = 736;
v737 = 737;
v738 = 738;
v739 = 739;
v740 = 740;
v741 = 741;
v742 = 742;
v743 = 743;
v744 = 744;
v745 = 745;
v746 = 746;
v747 = 747;
v748 = 748;
v749 = 749;
v750 = 750;
v751 = 751;
v752 = 752;
v753 = 753;
v754 = 754;
v755 = 755;
v756 = 756;
v757 = 757;
v758 = 758;
v759 = 759;
v760 = 760;
v761 = 761;
v762 = 762;
v763 = 763;
v764 = 764;
v765 = 765;
v766 = 766;
v767 = 767;
v768 = 768;
v769 = 769;
v770 = 770;
v771 = 771;
v772 = 772;
v773 = 773;
v774 = 774;
v775 = 775;
v776 = 776;
v777 = 777;
v778 = 778;
v779 = 779;
v780 = 780;
v781 = 781;
v782 = 782;
v783 = 783;
v784 = 784;
v785 = 785;
v786 = 786;
v787 = 787;
v788 = 788;
v789 = 789;
v790 = 790;
v791 = 791;
v792 = 792;
v793 = 793;
v794 = 794;
v795 = 795;
v796 = 796;
v797 = 797;
v798 = 798;
v799 = 799;
v800 = 800;
v801 = 801;
v802 = 802;
v803 = 803;
v804 = 804;
v805 = 805;
v806 = 806;
v807 = 807;
v808 = 808;
v809 = 809;
v810 = 810;
v811 = 811;
v812 = 812;
v813 = 813;
v814 = 814;
v815 = 815;
v816 = 816;
v817 = 817;
v818 = 818;
v819 = 819;
v820 = 820;
v821 = 821;
v822 = 822;
v823 = 823;
v824 = 824;
v825 = 825;
v826 = 826;
v827 = 827;
v828 = 828;
v829 = 829;
v830 = 830;
v831 = 831;
v832 = 832;
v833 = 833;
v834 = 834;
v835 = 835;
v836 = 836;
v837 = 837;
v838 = 838;
v839 = 839;
v840 = 840;
v841 = 841;
v842 = 842;
v843 = 843;
v844 = 844;
v845 = 845;
v846 = 846;
v847 = 847;
v848 = 848;
v849 = 849;
v850 = 850;
v851 = 851;
v852 = 852;
v853 = 853;
v854 = 854;
v855 = 855;
v856 = 856;
v857 = 857;
v858 = 858;
v859 = 859;
v860 = 860;
v861 = 861;
v862 = 862;
v863 = 863;
v864 = 864;
v865 = 865;
v866 = 866;
v867 = 867;
v868 = 868;
v869 = 869;
v870 = 870;
v871 = 871;
v872 = 872;
v873 = 873;
v874 = 874;
v875 = 875;
v876 = 876;
v877 = 877;
v878 = 878;
v879 = 879;
v880 = 880;
v881 = 881;
v882 = 882;
v883 = 883;
v884 = 884;
v885 = 885;
v886 = 886;
v887 = 887;
v888 = 888;
v889 = 889;
v890 = 890;
v891 = 891;
v892 = 892;
v893 = 893;
v894 = 894;
v895 = 895;
v896 = 896;
v897 = 897;
v898 = 898;
v899 = 899;
v900 = 900;
v901 = 901;
v902 = 902;
v903 = 903;
v904 = 904;
v905 = 905;
v906 = 906;
v907 = 907;
v908 = 908;
v909 = 909;
v910 = 910;
v911 = 911;
v912 = 912;
v913 = 913;
v914 = 914;
v915 = 915;
v916 = 916;
v917 = 917;
v918 = 918;
v919 = 919;
v920 = 920;
v921 = 921;
v922 = 922;
v923 = 923;
v924 = 924;
v925 = 925;
v926 = 926;
v927 = 927;
v928 = 928;
v929 = 929;
v930 = 930;
v931 = 931;
v932 = 932;
v933 = 933;
v934 = 934;
v935 = 935;
v936 = 936;
v937 = 937;
v938 = 938;
v939 = 939;
v940 = 940;
v941 = 941;
v942 = 942;
v943 = 943;
v944 = 944;
v945 = 945;
v946 = 946;
v947 = 947;
v948 = 948;
v949 = 949;
v950 = 950;
v951 = 951;
v952 = 952;
v953 = 953;
v954 = 954;
v955 = 955;
v956 = 956;
v957 = 957;
v958 = 958;
v959 = 959;
v960 = 960;
v961 = 961;
v962 = 962;
v963 = 963;
v964 = 964;
v965 = 965;
v966 = 966;
v967 = 967;
v968 = 968;
v969 = 969;
v970 = 970;
v971 = 971;
v972 = 972;
v973 = 973;
v974 = 974;
v975 = 975;
v976 = 976;
v977 = 977;
v978 = 978;
v979 = 979;
v980 = 980;
v981 = 981;
v982 = 982;
v983 = 983;
v984 = 984;
v985 = 985;
v986 = 986;
v987 = 987;
v988 = 988;
v989 = 989;
v990 = 990;
v991 = 991;
v992 = 992;
v993 = 993;
v994 = 994;
v995 = 995;
v996 = 996;
v997 = 997;
v998 = 998;
v999 = 999;
v1000 = 1000;
v1001 = 1001;
v1002 = 1002;
v1003 = 1003;
v1004 = 1004;
v1005 = 1005;
v1006 = 1006;
v1007 = 1007;
v1008 = 1008;
v1009 = 1009;
v1010 = 1010;
v1011 = 1011;
v1012 = 1012;
v1013 = 1013;
v1014 = 1014;
v1015 = 1015;
v1016 = 1016;
v1017 = 1017;
v1018 = 1018;
v1019 = 1019;
v1020 = 1020;
v1021 = 1021;
v1022 = 1022;
v1023 = 1023;
v1024 = 1024;
v1025 = 1025;
v1026 = 1026;
v1027 = 1027;
v1028 = 1028;
v1029 = 1029;
v1030 = 1030;
v1031 = 1031;
v1032 = 1032;
v1033 = 1033;
v1034 = 1034;
v1035 = 1035;
v1036 = 1036;
v1037 = 1037;
v1038 = 1038;
v1039 = 1039;
v1040 = 1040;
v1041 = 1041;
v1042 = 1042;
v1043 = 1043;
v1044 = 1044;
v1045 = 1045;
v1046 = 1046;
v1047 = 1047;
v1048 = 1048;
v1049 = 1049;
v1050 = 1050;
v1051 = 1051;
v1052 = 1052;
v1053 = 1053;
v1054 = 1054;
v1055 = 1055;
v1056 = 1056;
v1057 = 1057;
v1058 = 1058;
v1059 = 1059;
v1060 = 1060;
v1061 = 1061;
v1062 = 1062;
v1063 = 1063;
v1064 = 1064;
v1065 = 1065;
v1066 = 1066;
v1067 = 1067;
v1068 = 1068;
v1069 = 1069;
v1070 = 1070;
v1071 = 1071;
v1072 = 1072;
v1073 = 1073;
v1074 = 1074;
v1075 = 1075;
v1076 = 1076;
v1077 = 1077;
v1078 = 1078;
v1079 = 1079;
v1080 = 1080;
v1081 = 1081;
v1082 = 1082;
v1083 = 1083;
v1084 = 1084;
v1085 = 1085;
v1086 = 1086;
v1087 = 1087;
v1088 = 1088;
v1089 = 1089;
v1090 = 1090;
v1091 = 1091;
v1092 = 1092;
v1093 = 1093;
v1094 = 1094;
v1095 = 1095;
v1096 = 1096;
v1097 = 1097;
v1098 = 1098;
v1099 = 1099;
v1100 = 1100;
v1101 = 1101;
v1102 = 1102;
v1103 = 1103;
v1104 = 1104;
v1105 = 1105;
v1106 = 1106;
v1107 = 1107;
v1108 = 1108;
v1109 = 1109;
v1110 = 1110;
v1111 = 1111;
v1112 = 1112;
v1113 = 1113;
v1114 = 1114;
v1115 = 1115;
v1116 = 1116;
v1117 = 1117;
v1118 = 1118;
v1119 = 1119;
v1120 = 1120;
v1121 = 1121;
v1122 = 1122;
v1123 = 1123;
v1124 = 1124;
v1125 = 1125;
v1126 = 1126;
v1127 = 1127;
v1128 = 1128;
v1129 = 1129;
v1130 = 1130;
v1131 = 1131;
v1132 = 1132;
v1133 = 1133;
v1134 = 1134;
v1135 = 1135;
v1136 = 1136;
v1137 = 1137;
v1138 = 1138;
v1139 = 1139;
v1140 = 1140;
v1141 = 1141;
v1142 = 1142;
v1143 = 1143;
v1144 = 1144;
v1145 = 1145;
v1146 = 1146;
v1147 = 1147;
v1148 = 1148;
v1149 = 1149;
v1150 = 1150;
v1151 = 1151;
v1152 = 1152;
v1153 = 1153;
v1154 = 1154;
v1155 = 1155;
v1156 = 1156;
v1157 = 1157;
v1158 = 1158;
v1159 = 1159;
v1160 = 1160;
v1161 = 1161;
v1162 = 1162;
v1163 = 1163;
v1164 = 1164;
v1165 = 1165;
v1166 = 1166;
v1167 = 1167;
v1168 = 1168;
v1169 = 1169;
v1170 = 1170;
v1171 = 1171;
v1172 = 1172;
v1173 = 1173;
v1174 = 1174;
v1175 = 1175;
v1176 = 1176;
v1177 = 1177;
v1178 = 1178;
v1179 = 1179;
v1180 = 1180;
v1181 = 1181;
v1182 = 1182;
v1183 = 1183;
v1184 = 1184;
v1185 = 1185;
v1186 = 1186;
v1187 = 1187;
v1188 = 1188;
v1189 = 1189;
v1190 = 1190;
v1191 = 1191;
v1192 = 1192;
v1193 = 1193;
v1194 = 1194;
v1195 = 1195;
v1196 = 1196;
v1197 = 1197;
v1198 = 1198;
v1199 = 1199;
v1200 = 1200;
v1201 = 1201;
v1202 = 1202;
v1203 = 1203;
v1204 = 1204;
v1205 = 1205;
v1206 = 1206;
v1207 = 1207;
v1208 = 1208;
v1209 = 1209;
v1210 = 1210;
v1211 = 1211;
v1212 = 1212;
v1213 = 1213;
v1214 = 1214;
v1215 = 1215;
v1216 = 1216;
v1217 = 1217;
v1218 = 1218;
v1219 = 1219;
v1220 = 1220;
v1221 = 1221;
v1222 = 1222;
v1223 = 1223;
v1224 = 1224;
v1225 = 1225;
v1226 = 1226;
v1227 = 1227;
v1228 = 1228;
v1229 = 1229;
v1230 = 1230;
v1231 = 1231;
v1232 = 1232;
v1233 = 1233;
v1234 = 1234;
v1235 = 1235;
v1236 = 1236;
v1237 = 1237;
v1238 = 1238;
v1239 = 1239;
v1240 = 1240;
v1241 = 1241;
v1242 = 1242;
v1243 = 1243;
v1244 = 1244;
v1245 = 1245;
v1246 = 1246;
v1247 = 1247;
v1248 = 1248;
v1249 = 1249;
v1250 = 1250;
v1251 = 1251;
v1252 = 1252;
v1253 = 1253;
v1254 = 1254;
v1255 = 1255;
v1256 = 1256;
v1257 = 1257;
v1258 = 1258;
v1259 = 1259;
v1260 = 1260;
v1261 = 1261;
v1262 = 1262;
v1263 = 1263;
v1264 = 1264;
v1265 = 1265;
v1266 = 1266;
v1267 = 1267;
v1268 = 1268;
v1269 = 1269;
v1270 = 1270;
v1271 = 1271;
v1272 = 1272;
v1273 = 1273;
v1274 = 1274;
v1275 = 1275;
v1276 = 1276;
v1277 = 1277;
v1278 = 1278;
v1279 = 1279;
v1280 = 1280;
v1281 = 1281;
v1282 = 1282;
v1283 = 1283;
v1284 = 1284;
v1285 = 1285;
v1286 = 1286;
v1287 = 1287;
v1288 = 1288;
v1289 = 1289;
v1290 = 1290;
v1291 = 1291;
v1292 = 1292;
v1293 = 1293;
v1294 = 1294;
v1295 = 1295;
v1296 = 1296;
v1297 = 1297;
v1298 = 1298;
v1299 = 1299;
v1300 = 1300;
v1301 = 1301;
v1302 = 1302;
v1303 = 1303;
v1304 = 1304;
v1305 = 1305;
v1306 = 1306;
v1307 = 1307;
v1308 = 1308;
v1309 = 1309;
v1310 = 1310;
v1311 = 1311;
v1312 = 1312;
v1313 = 1313;
v1314 = 1314;
v1315 = 1315;
v1316 = 1316;
v1317 = 1317;
v1318 = 1318;
v1319 = 1319;
v1320 = 1320;
v1321 = 1321;
v1322 = 1322;
v1323 = 1323;
v1324 = 1324;
v1325 = 1325;
v1326 = 1326;
v1327 = 1327;
v1328 = 1328;
v1329 = 1329;
v1330 = 1330;
v1331 = 1331;
v1332 = 1332;
v1333 = 1333;
v1334 = 1334;
v1335 = 1335;
v1336 = 1336;
v1337 = 1337;
v1338 = 1338;
v1339 = 1339;
v1340 = 1340;
v1341 = 1341;
v1342 = 1342;
v1343 = 1343;
v1344 = 1344;
v1345 = 1345;
v1346 = 1346;
v1347 = 1347;
v1348 = 1348;
v1349 = 1349;
v1350 = 1350;
v1351 = 1351;
v1352 = 1352;
v1353 = 1353;
v1354 = 1354;
v1355 = 1355;
v1356 = 1356;
v1357 = 1357;
v1358 = 1358;
v1359 = 1359;
v1360 = 1360;
v1361 = 1361;
v1362 = 1362;
v1363 = 1363;
v1364 = 1364;
v1365 = 1365;
v1366 = 1366;
v1367 = 1367;
v1368 = 1368;
v1369 = 1369;
v1370 = 1370;
v1371 = 1371;
v1372 = 1372;
v1373 = 1373;
v1374 = 1374;
v1375 = 1375;
v1376 = 1376;
v1377 = 1377;
v1378 = 1378;
v1379 = 1379;
v1380 = 1380;
v1381 = 1381;
v1382 = 1382;
v1383 = 1383;
v1384 = 1384;
v1385 = 1385;
v1386 = 1386;
v1387 = 1387;
v1388 = 1388;
v1389 = 1389;
v1390 = 1390;
v1391 = 1391;
v1392 = 1392;
v1393 = 1393;
v1394 = 1394;
v1395 = 1395;
v1396 = 1396;
v1397 = 1397;
v1398 = 1398;
v1399 = 1399;
v1400 = 1400;
v1401 = 1401;
v1402 = 1402;
v1403 = 1403;
v1404 = 1404;
v1405 = 1405;
v1406 = 1406;
v1407 = 1407;
v1408 = 1408;
v1409 = 1409;
v1410 = 1410;
v1411 = 1411;
v1412 = 1412;
v1413 = 1413;
v1414 = 1414;
v1415 = 1415;
v1416 = 1416;
v1417 = 1417;
v1418 = 1418;
v1419 = 1419;
v1420 = 1420;
v1421 = 1421;
v1422 = 1422;
v1423 = 1423;
v1424 = 1424;
v1425 = 1425;
v1426 = 1426;
v1427 = 1427;
v1428 = 1428;
v1429 = 1429;
v1430 = 1430;
v1431 = 1431;
v1432 = 1432;
v1433 = 1433;
v1434 = 1434;
v1435 = 1435;
v1436 = 1436;
v1437 = 1437;
v1438 = 1438;
v1439 = 1439;
v1440 = 1440;
v1441 = 1441;
v1442 = 1442;
v1443 = 1443;
v1444 = 1444;
v1445 = 1445;
v1446 = 1446;
v1447 = 1447;
v1448 = 1448;
v1449 = 1449;
v1450 = 1450;
v1451 = 1451;
v1452 = 1452;
v1453 = 1453;
v1454 = 1454;
v1455 = 1455;
v1456 = 1456;
v1457 = 1457;
v1458 = 1458;
v1459 = 1459;
v1460 = 1460;
v1461 = 1461;
v1462 = 1462;
v1463 = 1463;
v1464 = 1464;
v1465 = 1465;
v1466 = 1466;
v1467 = 1467;
v1468 = 1468;
v1469 = 1469;
v1470 = 1470;
v1471 = 1471;
v1472 = 1472;
v1473 = 1473;
v1474 = 1474;
v1475 = 1475;
v1476 = 1476;
v1477 = 1477;
v1478 = 1478;
v1479 = 1479;
v1480 = 1480;
v1481 = 1481;
v1482 = 1482;
v1483 = 1483;
v1484 = 1484;
v1485 = 1485;
v1486 = 1486;
v1487 = 1487;
v1488 = 1488;
v1489 = 1489;
v1490 = 1490;
v1491 = 1491;
v1492 = 1492;
v1493 = 1493;
v1494 = 1494;
v1495 = 1495;
v1496 = 1496;
v1497 = 1497;
v1498 = 1498;
v1499 = 1499;
v1500 = 1500;
v1501 = 1501;
v1502 = 1502;
v1503 = 1503;
v1504 = 1504;
v1505 = 1505;
v1506 = 1506;
v1507 = 1507;
v1508 = 1508;
v1509 = 1509;
v1510 = 1510;
v1511 = 1511;
v1512 = 1512;
v1513 = 1513;
v1514 = 1514;
v1515 = 1515;
v1516 = 1516;
v1517 = 1517;
v1518 = 1518;
v1519 = 1519;
v1520 = 1520;
v1521 = 1521;
v1522 = 1522;
v1523 = 1523;
v1524 = 1524;
v1525 = 1525;
v1526 = 1526;
v1527 = 1527;
v1528 = 1528;
v1529 = 1529;
v1530 = 1530;
v1531 = 1531;
v1532 = 1532;
v1533 = 1533;
v1534 = 1534;
v1535 = 1535;
v1536 = 1536;
v1537 = 1537;
v1538 = 1538;
v1539 = 1539;
v1540 = 1540;
v1541 = 1541;
v1542 = 1542;
v1543 = 1543;
v1544 = 1544;
v1545 = 1545;
v1546 = 1546;
v1547 = 1547;
v1548 = 1548;
v1549 = 1549;
v1550 = 1550;
v1551 = 1551;
v1552 = 1552;
v1553 = 1553;
v1554 = 1554;
v1555 = 1555;
v1556 = 1556;
v1557 = 1557;
v1558 = 1558;
v1559 = 1559;
v1560 = 1560;
v1561 = 1561;
v1562 = 1562;
v1563 = 1563;
v1564 = 1564;
v1565 = 1565;
v1566 = 1566;
v1567 = 1567;
v1568 = 1568;
v1569 = 1569;
v1570 = 1570;
v1571 = 1571;
v1572 = 1572;
v1573 = 1573;
v1574 = 1574;
v1575 = 1575;
v1576 = 1576;
v1577 = 1577;
v1578 = 1578;
v1579 = 1579;
v1580 = 1580;
v1581 = 1581;
v1582 = 1582;
v1583 = 1583;
v1584 = 1584;
v1585 = 1585;
v1586 = 1586;
v1587 = 1587;
v1588 = 1588;
v1589 = 1589;
v1590 = 1590;
v1591 = 1591;
v1592 = 1592;
v1593 = 1593;
v1594 = 1594;
v1595 = 1595;
v1596 = 1596;
v1597 = 1597;
v1598 = 1598;
v1599 = 1599;
v1600 = 1600;
v1601 = 1601;
v1602 = 1602;
v1603 = 1603;
v1604 = 1604;
v1605 = 1605;
v1606 = 1606;
v1607 = 1607;
v1608 = 1608;
v1609 = 1609;
v1610 = 1610;
v1611 = 1611;
v1612 = 1612;
v1613 = 1613;
v1614 = 1614;
v1615 = 1615;
v1616 = 1616;
v1617 = 1617;
v1618 = 1618;
v1619 = 1619;
v1620 = 1620;
v1621 = 1621;
v1622 = 1622;
v1623 = 1623;
v1624 = 1624;
v1625 = 1625;
v1626 = 1626;
v1627 = 1627;
v1628 = 1628;
v1629 = 1629;
v1630 = 1630;
v1631 = 1631;
v1632 = 1632;
v1633 = 1633;
v1634 = 1634;
v1635 = 1635;
v1636 = 1636;
v1637 = 1637;
v1638 = 1638;
v1639 = 1639;
v1640 = 1640;
v1641 = 1641;
v1642 = 1642;
v1643 = 1643;
v1644 = 1644;
v1645 = 1645;
v1646 = 1646;
v1647 = 1647;
v1648 = 1648;
v1649 = 1649;
v1650 = 1650;
v1651 = 1651;
v1652 = 1652;
v1653 = 1653;
v1654 = 1654;
v1655 = 1655;
v1656 = 1656;
v1657 = 1657;
v1658 = 1658;
v1659 = 1659;
v1660 = 1660;
v1661 = 1661;
v1662 = 1662;
v1663 = 1663;
v1664 = 1664;
v1665 = 1665;
v1666 = 1666;
v1667 = 1667;
v1668 = 1668;
v1669 = 1669;
v1670 = 1670;
v1671 = 1671;
v1672 = 1672;
v1673 = 1673;
v1674 = 1674;
v1675 = 1675;
v1676 = 1676;
v1677 = 1677;
v1678 = 1678;
v1679 = 1679;
v1680 = 1680;
v1681 = 1681;
v1682 = 1682;
v1683 = 1683;
v1684 = 1684;
v1685 = 1685;
v1686 = 1686;
v1687 = 1687;
v1688 = 1688;
v1689 = 1689;
v1690 = 1690;
v1691 = 1691;
v1692 = 1692;
v1693 = 1693;
v1694 = 1694;
v1695 = 1695;
v1696 = 1696;
v1697 = 1697;
v1698 = 1698;
v1699 = 1699;
v1700 = 1700;
v1701 = 1701;
v1702 = 1702;
v1703 = 1703;
v1704 = 1704;
v1705 = 1705;
v1706 = 1706;
v1707 = 1707;
v1708 = 1708;
v1709 = 1709;
v1710 = 1710;
v1711 = 1711;
v1712 = 1712;
v1713 = 1713;
v1714 = 1714;
v1715 = 1715;
v1716 = 1716;
v1717 = 1717;
v1718 = 1718;
v1719 = 1719;
v1720 = 1720;
v1721 = 1721;
v1722 = 1722;
v1723 = 1723;
v1724 = 1724;
v1725 = 1725;
v1726 = 1726;
v1727 = 1727;
v1728 = 1728;
v1729 = 1729;
v1730 = 1730;
v1731 = 1731;
v1732 = 1732;
v1733 = 1733;
v1734 = 1734;
v1735 = 1735;
v1736 = 1736;
v1737 = 1737;
v1738 = 1738;
v1739 = 1739;
v1740 = 1740;
v1741 = 1741;
v1742 = 1742;
v1743 = 1743;
v1744 = 1744;
v1745 = 1745;
v1746 = 1746;
v1747 = 1747;
v1748 = 1748;
v1749 = 1749;
v1750 = 1750;
v1751 = 1751;
v1752 = 1752;
v1753 = 1753;
v1754 = 1754;
v1755 = 1755;
v1756 = 1756;
v1757 = 1757;
v1758 = 1758;
v1759 = 1759;
v1760 = 1760;
v1761 = 1761;
v1762 = 1762;
v1763 = 1763;
v1764 = 1764;
v1765 = 1765;
v1766 = 1766;
v1767 = 1767;
v1768 = 1768;
v1769 = 1769;
v1770 = 1770;
v1771 = 1771;
v1772 = 1772;
v1773 = 1773;
v1774 = 1774;
v1775 = 1775;
v1776 = 1776;
v1777 = 1777;
v1778 = 1778;
v1779 = 1779;
v1780 = 1780;
v1781 = 1781;
v1782 = 1782;
v1783 = 1783;
v1784 = 1784;
v1785 = 1785;
v1786 = 1786;
v1787 = 1787;
v1788 = 1788;
v1789 = 1789;
v1790 = 1790;
v1791 = 1791;
v1792 = 1792;
v1793 = 1793;
v1794 = 1794;
v1795 = 1795;
v1796 = 1796;
v1797 = 1797;
v1798 = 1798;
v1799 = 1799;
v1800 = 1800;
v1801 = 1801;
v1802 = 1802;
v1803 = 1803;
v1804 = 1804;
v1805 = 1805;
v1806 = 1806;
v1807 = 1807;
v1808 = 1808;
v1809 = 1809;
v1810 = 1810;
v1811 = 1811;
v1812 = 1812;
v1813 = 1813;
v1814 = 1814;
v1815 = 1815;
v1816 = 1816;
v1817 = 1817;
v1818 = 1818;
v1819 = 1819;
v1820 = 1820;
v1821 = 1821;
v1822 = 1822;
v1823 = 1823;
v1824 = 1824;
v1825 = 1825;
v1826 = 1826;
v1827 = 1827;
v1828 = 1828;
v1829 = 1829;
v1830 = 1830;
v1831 = 1831;
v1832 = 1832;
v1833 = 1833;
v1834 = 1834;
v1835 = 1835;
v1836 = 1836;
v1837 = 1837;
v1838 = 1838;
v1839 = 1839;
v1840 = 1840;
v1841 = 1841;
v1842 = 1842;
v1843 = 1843;
v1844 = 1844;
v1845 = 1845;
v1846 = 1846;
v1847 = 1847;
v1848 = 1848;
v1849 = 1849;
v1850 = 1850;
v1851 = 1851;
v1852 = 1852;
v1853 = 1853;
v1854 = 1854;
v1855 = 1855;
v1856 = 1856;
v1857 = 1857;
v1858 = 1858;
v1859 = 1859;
v1860 = 1860;
v1861 = 1861;
v1862 = 1862;
v1863 = 1863;
v1864 = 1864;
v1865 = 1865;
v1866 = 1866;
v1867 = 1867;
v1868 = 1868;
v1869 = 1869;
v1870 = 1870;
v1871 = 1871;
v1872 = 1872;
v1873 = 1873;
v1874 = 1874;
v1875 = 1875;
v1876 = 1876;
v1877 = 1877;
v1878 = 1878;
v1879 = 1879;
v1880 = 1880;
v1881 = 1881;
v1882 = 1882;
v1883 = 1883;
v1884 = 1884;
v1885 = 1885;
v1886 = 1886;
v1887 = 1887;
v1888 = 1888;
v1889 = 1889;
v1890 = 1890;
v1891 = 1891;
v1892 = 1892;
v1893 = 1893;
v1894 = 1894;
v1895 = 1895;
v1896 = 1896;
v1897 = 1897;
v1898 = 1898;
v1899 = 1899;
v1900 = 1900;
v1901 = 1901;
v1902 = 1902;
v1903 = 1903;
v1904 = 1904;
v1905 = 1905;
v1906 = 1906;
v1907 = 1907;
v1908 = 1908;
v1909 = 1909;
v1910 = 1910;
v1911 = 1911;
v1912 = 1912;
v1913 = 1913;
v1914 = 1914;
v1915 = 1915;
v1916 = 1916;
v1917 = 1917;
v1918 = 1918;
v1919 = 1919;
v1920 = 1920;
v1921 = 1921;
v1922 = 1922;
v1923 = 1923;
v1924 = 1924;
v1925 = 1925;
v1926 = 1926;
v1927 = 1927;
v1928 = 1928;
v1929 = 1929;
v1930 = 1930;
v1931 = 1931;
v1932 = 1932;
v1933 = 1933;
v1934 = 1934;
v1935 = 1935;
v1936 = 1936;
v1937 = 1937;
v1938 = 1938;
v1939 = 1939;
v1940 = 1940;
v1941 = 1941;
v1942 = 1942;
v1943 = 1943;
v1944 = 1944;
v1945 = 1945;
v1946 = 1946;
v1947 = 1947;
v1948 = 1948;
v1949 = 1949;
v1950 = 1950;
v1951 = 1951;
v1952 = 1952;
v1953 = 1953;
v1954 = 1954;
v1955 = 1955;
v1956 = 1956;
v1957 = 1957;
v1958 = 1958;
v1959 = 1959;
v1960 = 1960;
v1961 = 1961;
v1962 = 1962;
v1963 = 1963;
v1964 = 1964;
v1965 = 1965;
v1966 = 1966;
v1967 = 1967;
v1968 = 1968;
v1969 = 1969;
v1970 = 1970;
v1971 = 1971;
v1972 = 1972;
v1973 = 1973;
v1974 = 1974;
v1975 = 1975;
v1976 = 1976;
v1977 = 1977;
v1978 = 1978;
v1979 = 1979;
v1980 = 1980;
v1981 = 1981;
v1982 = 1982;
v1983 = 1983;
v1984 = 1984;
v1985 = 1985;
v1986 = 1986;
v1987 = 1987;
v1988 = 1988;
v1989 = 1989;
v1990 = 1990;
v1991 = 1991;
v1992 = 1992;
v1993 = 1993;
v1994 = 1994;
v1995 = 1995;
v1996 = 1996;
v1997 = 1997;
v1998 = 1998;
v1999 = 1999;

assert (v1 === 1, "wrong integer value");

assert (foo() === 777, "wrong return value");

